Entretien avec André Brassard

Entretien avec Ken Whistler, directeur technique du consortium Unicode

Interview with Dr. Ken Whistler, technical director of the Unicode Consortium on the origin of the Unicode standard and its relation to ISO/IEC 10646. Dr. Whistler answers several questions related to the perceived implementation problems and apparent weaknesses of the Unicode standard. 1. Le cri, une des langues autochtones parlées au Québec, est pris en charge par Unicode. 330 DN – 6/2002. Un...

Entretien avec GILLES DOWEK. De l'engagement dans la recherche à la recherche de l'engagement

Gilles Dowek est Directeur de Recherche à l’Inria. Il conduit des recherches dans le domaine de la formalisation des mathématiques (théorie des types, théorie des ensembles, etc.) et sur les systèmes informatiques de traitement des démonstrations mathématiques. Par ailleurs, sa réflexion sur l’enseignement de l’informatique l’a mené à participer à la rédaction des nouveaux programmes d’enseigne...

A conjecture of Yves André . ∗

The introduction to [2] (and references contained therein) contains a comprehensive exposition of terminology and notations relative to this conjecture. Since we use the same terminology and notations, we do not reproduce them here. The introduction to [2] also contains an exposition of results on this conjecture obtained before the article [3] came out. In this article we prove the following t...

François Bach and André Herbelin

Reals which Compute Little André

We investigate combinatorial lowness properties of sets of natural numbers (reals). The real A is super-low if A′ ≤tt ∅′, and A is jump-traceable if the values of {e}A(e) can be effectively approximated in a sense to be specified. We investigate those properties, in particular showing that super-lowness and jump-traceability coincide within the r.e. sets but none of the properties implies the o...